A Framework towards the Verification of Emergent Properties in Spatial Multi-Agent Systems

نویسندگان

  • Isidora Petreska
  • Petros Kefalas
  • Marian Gheorghe
چکیده

Formal modelling of multi-agent systems (MAS) present many interesting challenges. In this extended abstract we present a framework of how formal modelling can lead towards identi cation and veri cation of emergent properties of spatial biology-inspired MAS. We discuss the problem in question as well as initial work done on the formal modelling side and the visual animation of these formal models.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Disciplined Exploration of Emergence Using Multi-Agent Simulation Framework

In recent years the concept of emergence has gained much attention as ICT systems have started exhibiting properties usually associated with complex systems. Although emergence creates many problems for engineering complex ICT systems by introducing undesired behaviour, it also offers many possibilities for advance in the area of adaptive self-organizing systems. However, at the moment the inab...

متن کامل

Towards a New Approach for Controlling the Reorganization Process of Multi-Agent Systems

Reorganization in Multi-Agent Systems plays a crucial role in the dynamic adaptation of the structure and the behaviour of organizations. In order to ensure consistency of the resulting organization, the reorganization process has to be controlled. This paper proposes a novel approach for controlling the reorganization process of Multi-Agent Systems, which are specified and implemented using th...

متن کامل

Developing a BIM-based Spatial Ontology for Semantic Querying of 3D Property Information

With the growing dominance of complex and multi-level urban structures, current cadastral systems, which are often developed based on 2D representations, are not capable of providing unambiguous spatial information about urban properties. Therefore, the concept of 3D cadastre is proposed to support 3D digital representation of land and properties and facilitate the communication of legal owners...

متن کامل

Image enhancement - An emergent pattern formation approach via decentralised multi-agent systems

A multi-agent framework inspired by natural and physical systems is presented for data discovery and image enhancement. The input image is represented as a topographic landscape upon which a large population of independent simple, reactive, mobile agents resides. The local landscape configuration presents stimuli to each agent, influencing agent behaviour and resulting in changes in agent orien...

متن کامل

A Formal Framework for User-centric Control of Multi-Agent Cyber-physical Systems

Cyber physical systems are examples of a new emerging modelling paradigm that can be defined as multi-dimensional system coengineering (MScE). In MScE, different aspects of complex systems are considered altogether, producing emergent properties, or loosing some useful ones. This holistic approach requires interdisciplinary methods that result from formal mathematical and AI co-engineering. In ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011